On the theories of free solvable groups’
نویسنده
چکیده
We prove that the terms of the derived series of a free solvable group are definable by existential formulae. We use this result to prove some ‘model theoretic’ results about free solvable groups. For example, we prove that if Hilbert’s 10th problem has a negative answer for the field of the rationals, then the universal theory of a noncyclic free solvable group of class > 3 is undecidable. @ 1998 Elsevier Science B.V. All rights reserved. AM.‘? C’luss~ficution: 20FlO; 20A 15; 03C60; 20F 16
منابع مشابه
NILPOTENCY AND SOLUBILITY OF GROUPS RELATIVE TO AN AUTOMORPHISM
In this paper we introduce the concept of α-commutator which its definition is based on generalized conjugate classes. With this notion, α-nilpotent groups, α-solvable groups, nilpotency and solvability of groups related to the automorphism are defined. N(G) and S(G) are the set of all nilpotency classes and the set of all solvability classes for the group G with respect to different automorphi...
متن کاملOn nilpotent and solvable polygroups
Applications of hypergroups have mainly appeared in special subclasses. One of the important subclasses is the class of polygroups. In this paper, we study the notions of nilpotent and solvable polygroups by using the notion of heart of polygroups. In particular, we give a necessary and sufficient condition between nilpotent (solvable) polygroups and fundamental groups.
متن کاملSome connections between powers of conjugacy classes and degrees of irreducible characters in solvable groups
Let $G$ be a finite group. We say that the derived covering number of $G$ is finite if and only if there exists a positive integer $n$ such that $C^n=G'$ for all non-central conjugacy classes $C$ of $G$. In this paper we characterize solvable groups $G$ in which the derived covering number is finite.
متن کاملSOLVABILITY OF FREE PRODUCTS, CAYLEY GRAPHS AND COMPLEXES
In this paper, we verify the solvability of free product of finite cyclic groups with topological methods. We use Cayley graphs and Everitt methods to construct suitable 2-complexes corresponding to the presentations of groups and their commutator subgroups. In particular, using these methods, we prove that the commutator subgroup of $mathbb{Z}_{m}*mathbb{Z}_{n}$ is free of rank $(m-1)(n-1)$ fo...
متن کاملClassification of solvable groups with a given property
In this paper we classify all finite solvable groups satisfying the following property P5: their orders of representatives are set-wise relatively prime for any 5 distinct non-central conjugacy classes.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003